Text this: The consistency of a variant of,church's thesis with an axiomatic theory of an epistemic notion