more comments + added subsumption diagram