Example case fails reasonably