EXTRACREDIT Peter F. Patel-Schneider There are only 256 different values for xsd:byte.