substitution system 1-%3E0%2C 0-%3E10