add check eqns