Adding counterExample to presentation