+ (a == a && a < a)