[] skel-conjecture wrl