Clarified assumptions in 1.1