  Given a Laurent polynomial over a ring flat over \(\mathbb{Z}\), Vlasenko
defines a formal group law. We identify this formal group law with a coordinate
system of a formal group functor, prove its integrality. When the Hasse--Witt
matrix of the Laurent polynomial is invertible, Vlasenko defines a matrix by
taking a certain \(p\)-adic limit. We show that this matrix is the Frobenius of
the Dieudonn\'e module of this formal group modulo \(p\).
