Coordinating theorems like Noether's (conserved spacetime) and Gödel's (incompleteness) requires labeling points as "exclusive predictions" between diagonals as "additional observations": one point is neither all points nor another point
Daniel Thomas Hawkley