Being in love with my boyfriend gives me a fluffy feeling inside.

to unravel a plot

The dress had puffed sleeves.

All of these cases raise the issue of computer supportability and automatability of proof procedures.