Pee puddle implies pee

BUR #58261 is pending approval.

create implication pee_puddle -> pee

I can’t think of an example where this wouldn’t be the case