x1>n;!2 >3/