Lenses, Lexicons, and Algebraic Theories's similar cards