We don't need to validate any longer. We use our SMT to find metric value of a plan