What exactly does rac validate do? How is it deterministic? Is there an example somewhere?