(Under construction.)
section 9.129 is, section 9.286 TypeOf, section 8.8 Object-Orientated Programming.