Subsumption Excercise I