Requirement of the first assignment