polished tests, started cons eqns