My interest generally is in the theory of proofs. My focus is in the foundations of metamathematical logic and in the extant assumptions underlying basic practice, such as that rules of inference must be truth preserving. I think that the foundations are not well-vetted.