Simple section interchange and properties of non-computable functions