Did you know that logic translations can be used to analyze whether arguments expressed in ordinary language are correct?