Finished Arrow Out proof rule
Finished Arrow Out proof rule
Adding Proof Line Arrow Out validation