Heeze-Leende BVL-proof