#deterministic-verification