I love formal logic