What do you know about logic?