Added theta substitution