math operator assertions