(A pun on "lambda-calculus") Teaching logic thru spanish dance steps. Invented by P. van der Linden <linden@eng.sun.com>.