( 2 ! 23)