Describes EASIK, a category-theoretic predecessor to CQL that now ships within, and interoperates with, CQL.