Unicist Logic and its mathematics door Peter Belohlavek