Replace region queue after assuming theorems