As I was looking through the new proposals on Area 51 to get an idea of how others fare in the process, I saw one called Proof Assistants that had debuted a few days before Bible Applications. I saw that they blasted through the definition phase, and then roared on through the commitment phase, a...