I don't think you need to specify that they can't be converted to anything else.