Paper accepted! Our study of lattice reformulations has been accepted and is now online.