Two Kinds of Roofs — cryptic.k