algebraisk logik - Afgåede censorer