ike's Shortform — LessWrong