uncommented equalities