Clean up a few functions returning a pair of protected theorems