Pro-logic Voorbeeld