Geloofwaardige Layer-asserties worden elke dag steeds krachtiger. Het voelt goed om met de staat te kunnen werken bij elke callframe binnen een transactie.