A Less Wrong Q&A with Eliezer (Step 1: The Proposition) — LessWrong