sorite NOrd

sorite NOrd _1