(Upward composition