mathematical rigour