* P \ {dm