fatezy/arithmetic not found