( 2 ( !23)