( 3 * ^1 .)