EXTRACREDIT Jeremy J. Carroll A further example that cannot be generated from the mapping rule for DisjointClasses.