Give -initially: top-down composition