An Agent Gives A Conditional Receipt