Tracks from hell - when finding a proof may be easier than checking it