[9.32.23]