The principled approach proposed by Lamport et al. ensures all cases are handled safely.
Lamport等によって定式化された手法では全てのケースが安全に処理されることを保証している。