Validity (logic) - Other languages