Validating STMs