Fake Civil Engineer's Shortform — LessWrong