残された S 要件: 移行は厳格でなければなりません