Example SVP4 leaves several details for the reader to check. Verify these five claims.