This is, indeed, how math often goes.