Implemented Thm 41 (advanced composition)