Stav dette: Traditional formal logic: