A Quick Taxonomy of Arguments for Theoretical Engineering Capabilities — LessWrong