do not use canonical unconditionally in simplify
add Relational.__neg__ method
quick