Is there an example in CHASH?