[] skel-theorem wrl