proof and co

1 2