[] reference-theorem wrl