Formalize the statement "If the wind of change is blowing, some build walls and some build windmills“ with propositional variables and with logical connectives.