Barendregt-Geuvers-Klop Conjecture