[PPT] - Translational expressiveness between logics: giving adequacy PowerPoint Presentation