Extract Math assertions into utility