Added a real validator, and an appropriate rule for building it.