A Quick Ontology of Agreement — LessWrong