eqn: EQN_TOP is no longer necessary