Extended with primitive equality.