in section 5.12