I guess it probably does because of the `if a.is_Pow