Subsumption checking etc.