Maths Notes: Logic patches