Added Δ <= G judgement, hypothesis rule