Examples from sort theory classes