Non-blocking thought: I wonder `delete_and_verify` implementation can exist in this function itself. Being separate does have advantage of easier testing.