Pi Matrix update with new header and proof corrections.