do not use canonical unconditionally in simplify
quick