Adding some changes useful when multiple theorems are needed