Title: Infinite development and the composition property (K