Slight change of wording in assumptions