Lijst met definities en stellingen die je mag gebruiken