A. Preconditions