added extra TheoremSet to differentiate between ones give and ones in proof