Your Proof tree is taking shape
Proof — Make your work visible