Lazy Proof Bias view 3