Constructive Receipt Traps for Paid-Time-Off Plans