  We inductively define layers of colorings of knot and knotted surface
diagrams using ternary quasigroups. Homological invariants from such systems of
colorings use shorter differentials and of higher degree than the standard
homology differentials, and give access to typically more complex homology
groups.
