The initial segment condition for κ^+-supercompactness - Farmer Schlutzenberg (2023)