@rezmason guarded horn clauses I think