Welcome to the world of mathematical logic