t(;^; t)