add new example
const correctness