A computer program can readily be given much more powerful means of
introspection than a person has, for we may make it inspect the whole
of its memory including program and data to answer certain
introspective questions, and it can even simulate (slowly) what it
would do with given initial data. It is interesting to list various
notions of 
for a program.
1. There is a sub-program 
and room for it in memory
which would achieve 
if it were in memory, and control
were transferred to . No assertion is made that
Program knows or even knows that exists.
2. exists as above and that will achieve
follows from information in memory according to a proof
that Program is capable of checking.
3. Program's standard problem-solving procedure will find
if achieving is ever accepted as a subgoal.