Added the binary subsumption rule.