From prison with therapeutic humor to difficult reasoning — LessWrong