 Some authors use phrases such as “computation in a broad sense” to indicate that they mean computation in a form potentially transcending effective methods (e.g., Copeland 1997; Andréka, Németi and Németi 2009).