playground - Revision 5905: /trunk/6D/lib/strict/Logic