deterministic-assertions