Two independent theorems, each ruling out a thing general relativity allows. The white-hole region exists only in the empty maximal extension; and the Maxwell element of the fourth postulate is dissipative, which gives the dynamics an arrow.