( 14- !7 .)