Logic in real life