update: thanks to everyone who pointed out the mistake in the back pointer layout. the diagrams and explanation have been corrected.