Een grote ontwerpkeuze die we hebben gemaakt bij het bouwen van Herd is hoe we geldige staten aan een llm kunnen communiceren. Om eenvoudig te beginnen, voor een USDC-overdracht kunnen we zeggen "de balanceOf-functie kan worden gebruikt om de maximale overdrachtswaarde weer te geven en of deze geldig is" zonder dat we deze controles hardcoderen.