some more  proof of the intro