Text this: 3+1 Formalism in General Relativity