#deterministic-checks