Shift to call by need -- easier proofs.