Flowsheet Logic and Notecard Logic — LessWrong