Push footer on one of the early pages down to free room for work
Put all preimplemented function assumptions on separate lines
Remove silly-looking singleton line number on substitution trace