Dekorierte Beweise für rechnerische Effekte: Zustände