- Revision 65712: /tarski/inc