> … system contract for login flows [1]. Just a nit : I think you forgot the footnote, but I am curious how the system contract is defined.