( tf o 9 * t ; \^