In this second part of my talk I will discuss the algebraic approach to the constraint satisfaction problem (CSP), a framework which was very recently used to confirm the famous Feder-Vardi CSP dichotomy conjecture. I will also indicate how this approach can be employed to analyse the power of various proof systems for CSPs.