Adding Proof Line Arrow Out validation