Gewoonlijk gieten we een deductief probleem in de vorm van een ...... Wat is dit?