Playing Symbolic Logic - Lewis Carroll