( 7t ?2 ).