Template talk:User Theory of computation expert