1: geen afhankelijkheid kroeg
2: niet safe!
3: conjunctie in al-quantor moet implicatie zijn.