Something Valid This Way Comes: A Study Of Neologicism And Proof-Theoretic Validity