@ivortossell Proofs will be ready any minute.