Stav dette: An Introductory Logic.