adam@4: val authenticate : string -> transaction string
adam@4: (* Doesn't return normally if everything goes as planned.
adam@4:  * Instead, the user is redirected to his OP to authenticate there. *)