[] reference-conjecture wrl