(A pun on "lambda-calculus") Teaching logic thru spanish dance steps. Invented by P. van der Linden <[email protected]>.