Please follow the following format:

1. A[i]=k unless A[i]>k

         Answer indented and in bold (true or false). 

         Informal explanations indented.  Reasons why the property holds or not.

Additional instructions about your explanations:

Use plain English, but be very precise; no formulas are needed.
For a property like the unless above:
If the property holds, explain why each statement in the program either preserves the left hand side or establishes the right hand side.
If the property does not hold, provide a counter example, a state in which it is violated, and show how the statement violates the property, e.g., by falsifying the left hand side without establishing the right hand side.
In your explanations:
Do not refer to the program execution.
Do not refer to initial conditions.
Refer only to what the statements do or do not do.
If you need to make some assumptions in order to support your argument, please make them explicit.
You can talk about initial conditions only when you show that an invariant holds in the initial state.
gcr