025 .1.2　UQOTOM的自由泛化：在可以执行变量操作的系统中