simplification and support x==y