Stav dette: Deducibility and decidability