subsumption public under logical-relation 17 List Picture As a command Nothing is filed under subsumption.