Bos, J. Predicate Logic Unplugged. Proceedings of the AC 1995, 133-142.