On inferring cumulative constraints | Signal Canvas | ScienceToStartup