Introducing contract validation