Subsumption again

Supposedly this should work but doesn't seem to...