An indented rule indicates a change in universe.