We aim to enable two kinds of verification: (1) verification of complete mediation and (2) verification of complete authorization.