method x() x := x < x < x; end;