Lanzatech Lab Feb 2023 Proofs