-Implemented the insurance procedure, which relies on waiting for user
input.