( 23 ) \)