add comment about subsumption and exceptions