( 7t ' 2)