Added support for multiple theorems