Lesniewski's Strategy and Modal Logic