Text this: Proving the Space Transportation System :