"So euh... This meme, euh... you can formally... encode it as euh... a set of formulas in euh... an L-theory that is a theoretic model that you construct using an L-structure, and euh... prove that it is satisfiable in that theory, right?"