This whole thread is a fascinating exercise. I'm watching HN derive Lenin's "What is to be Done?" from first principles.