the instructions to be added here!
the version used in the internal session