The author has found this feature very useful in understanding difficult mathematical proofs.