Stav dette: The Languages of Logic: