Not sure how to proceed, since I may have created a generalized existential

Evolution Discussion
5

Right now, I restricted the use of FSA existentials to generic constraints. I uploaded the report to my Gist.