Big change: comment out overview section

Medium change: change How It Works section to Theory section

Small change: change text on validation illustration to indicate
promises should be irreversible