Results for logical requirements