~Lessons in logic~