The following properties emerge during the development of the software for an Automatic Teller Machine (ATM). For each of the following, identify whether it is a correctness, robustness, or safety property. Briefly justify your decision.

1. If the network connection is interrupted, the session shall be immediately terminated with an appropriate error message. No funds shall be dispensed, and no changes shall be made to a user's account.

2. The account identifier of the account loaded by the utility shall exactly match the account identifier of the input debit card.

3. The amount requested by the user shall only be debited from their account following confirmation of the successful withdrawal of funds.

4. If no physical money remains in the unit following a completed transaction, the utility shall cease standard operation and display an error message until a manual override is initiated.