https://9pdf.org/document/yj78wgmm-get-your-bccsp-axiomatization-for-free.html