nosuch (wrl): intro-casus-07