@Infinity Shun Replying a bit late but you don't necessarily need 1-A+ hierarchy to be High 1-A, you simply need to prove that you are completely external to its expansion or equivalent.