check in preliminary version with subsumption