Version 1.0, before section 3.2.2