introsΒΆ

Applies intro as many times as possible.