Version 1.0.2, before section 2.3.3