How do you accomplish 5 and 6 atomically? I assume it involves proof of payment, the hash preimage from the lightning invoice.