Added inference rule for determinism