  Here we develop the theory of the diagrammatics of surface cross sections to
prove that there are an infinite number of homology 3-spheres smoothly
embeddable in a homology 4-sphere but not in a homotopy 4-sphere. Our primary
obstruction comes from work of Daemi.
