Implicating untied_bikini -> bikini.

Reason: Object being untied.

Done

Implicate untied_bikini -> untied as well.

Done