Polish notation
Polish notation for logic.