EXTRACREDIT Jeremy J. Carroll All xsd:byte are xsd:short.