Handle multiple theorems