1: Subexponential and FPT-time Inapproximability of Independent Set and Related Problems 2: Computing loop corrections by message passing 3: Algorithms for discovering and proving theorems about permutation patterns