GenerateTrueQueries and CheckPoint commands