for L being Stone Lattice holds
( Top L in Skeleton L & Bottom L in Skeleton L )