Original: Stegosaurus seeleyanus , originally named Hypsirophus , is probably the same as S. armatus .
Simplified: It is probably the same as S. armatus .