Text this: The logical systems of Lesniewski :