Text this: George Lokert, late-scholastic logician /