AlesisB221AlesisB221 Proofs