Bare-bones backward semantics
Chains --> sub-lattices
Chains --> sub-lattices