Formal Description of BSM Audit Log

[ insert BSM.g here ]