Sentence:  effective numbering] (Note: In this FORTRAN example, we could have omitted restrictions on I/O and instead used a computable, <WSD>bijective</WSD>, numerical coding for "inputs" and "outputs" to get another EN determined by FORTRAN.) 
Meaning of the word marked with <WSD> tags:  Both injective and surjective.