* m ~ n.