Naive implementation of ``miph push``.