Up | Japanese Function/machine → input-output-machine
→ unique correspondence