laziness versus consistency