Give concrete examples of new validate syntax