A programming language that ensures you have enough assertions.