#deterministic-reasoning