Exercise 0.0.1. poop

Proof 0.0.1.1.

sdsd

after

Proof 0.0.1.2.

befopre

Exercise 0.0.2. poop

inside exer

after