Null infinity as a weakly isolated horizon | Synapse