paperExistence in NSOP1 theoriesarXiv:2405.13741AbstractWe show that Kim-forking satisfies existence in all NSOP1 theories.