no wrl for skel-theorem

[] skel-theorem