Thanks for your responses. I think I'm expecting interesting and impactful results out of an exposition/proposal, which is probably unreasonable. > but all of

Thanks for your responses. I think I'm expecting interesting and impactful results out of an exposition/proposal, which is probably unreasonable. > but all of programming in 28 pages, built on a foundation only of set theory, is very impressive Yes, it is :-)