A critique of Soares "4 background claims" — LessWrong