Title: Formal techniques of oversight