Proof must start with show.
More tests. Line 368 & 400 error.