Long term this will be the only reasonable author list: Chad G. Peter {1}, Mat H. Lean {2}.
1: Author 2: Verifier
/s