@0,1⦊⦉@0,1PartialOrd@18⦊⦉@18