Newman–Penrose formalism