$CHR is very optimistic