fails:Integer#pred returns the Integer equal to self - 1
