Recursion theorem can refer to: