Design, Implement and Verify — LessWrong