四 可逆性与迁徙自由