IS wid Neq^ lna » a tn