The Long Version of the Guide for the Reader