#state guarantees