Add is_category conclusion.