Note on two formulations of Crank-Nicolson method for Navier-Stokes equations. - Labovsky, Alexander E.; Schwiebert, Kyle J. (Numerical Algorithms, 2025)