Update endsubproof
More testing.