Text this: On the strictness of the quantifier structure hierarchy in first-order logic