Invia SMS: The Geroch-Held-Penrose Calculus