Лейб-гвардии Семёновский полк был сформирован в 1691 г. в подмосковном селе Семёновском, под названием потешных семёновцев; с 1687 года они начали именоваться Семёновским полком, а с 1700 г. — лейб-гвардии Семёновским. Именно туда и был записан еще до рождения Петруша Гринев. Однако его отец хотел, чтобы его сын "понюхал пороху", поэтому отправил его в армию. Следовательно, Петр Гринев не мог быть сослуживцем гвардейца Семеновского полка.