Unicist Logic and its mathematics by Peter Belohlavek