demo case for CHR