Maths Based Logic