RolfAndreassen comments on A Less Wrong Q&A with Eliezer (Step 1: The Proposition)