../../Task/Exponentiation-order/Red