Alle door StellingChecker toegevoegde stellingen