Lazy Proof Bias view 1