`verefy_if_math` ? and it's verify with an i