neq

n and E in Q