I think this is really about types that are converted to these kinds of contracts.