refund modal logic