On the Lyapunov function for the rotating Benard problem. JAM. 2015;9(9):3062-3071. doi:10.24297/jam.v9i9.2234