looks OK (although it wasn't clear to me if the value of writable in the first test be true). Note the section reference is 4.7.2 and that section is 4.6.2 in the CR