Simplified formulation of the theorem
Specified initial state in the notation of the probability of a given mental sequence