Version 1.0, before section 2.3