By “rough consensus” did he mean “approximate consensus” or “hard argued consensus”?