Space constructibility is a non-trivial precondition: not all mathematically well-defined functions ...