Kim's (1984) formal derivation assumes modal accessibility relations are uniform across individual a...