Start following isabelle prior to reveal this footprint.