( n e 7)