The class of NSOP_1 theories contains the simple theories and many interesting non-simple theories, such as the omega-free PAC fields or generic vector spaces with a non-degenerate bilinear form. With Itay Kaplan, we introduced Kim-independence which agrees with non-forking independence within the simple theories and shares many of its nice properties within the simple NSOP_1 context. One very basic roadblock in lifting simplicity theory to the NSOP_1 setting, however, was transitivity: a free extension of a free extension should still be a free extension. This is almost immediate for non-forking […]