(asValue) to (asv)