How do we know a law is really a law?