advanced arithmetic language project proposal 617150