ESMIT Advanced Course: Advanced Features of Quantification