RT AA A1 Reed, Stephen K. T1 Constraints on the Abstraction of Solutions