maybe csp of adding numbers