Officially, when does a bill become a law?