Examples producing wrong result