WyC: framework is now in place for implementing the conversion.