: h * to^