BABIC 2022

Many infallible proofs