User blog comment:LittlePeng9/Levels of ITTMs/@comment-25418284-20140511212435/@comment-1605058-20140512134917

Yes they do; I assumed it follows from the definition of accidentally writable ordinals, but I guess it's appropriate to mention it.