ct * at cv^ct.