n==natw , gt ==natw , gt natw , gt !^ntill li.