Design by Contract for demo purposes