Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity.