Given a programme $P$ with an input $I$. Does $P(I)$ ever terminate?