Logical Reasoning Lecture - Coding-Decoding