( ®- ^23 .)