Test code 'Two Logicians'