Boundary is fixed as non-reentry. Update is fixed. update’ is fixed. They are not equivalent. Re-entry is not fixed. No return is introduced. No continuation is introduced. No causality is introduced. No temporality is introduced. No subject is introduced. Boundary is not derived..
Juza Minamikata (Sun,) studied this question.