[] slide-theorem wrl