Telefona gönder: Formalization of Banking Supervision