: t * ^^