Added ability to utilize simple composition thm