On the Mints Hierarchy in First-Order Intuitionistic Logic (Logical Methods in Computer Science, 2017)