support maths for constraints