Definition p0n32 : 0 <> 32 := O_S 31.
