Los axiomas de efecto y de frame pueden combinarse en un "axioma del estado sucesor".