9.3.2  Preconditions to construction