Valid Concepts, Iterability and More