 Proof requirement: An algorithm which, applied to a given real number \(x\), decides whether \(x = 0\) or \(x \ne 0\). Note that, in order to make this decision, the algorithm might use not only the data describing \(x\) but also the data showing that \(x\) is actually a real number.