Finding a Sum without Models