Symbol: modulo_2_to_power