[] slide-conjecture wrl