SMK comments on Invulnerable Incomplete Preferences: A Formal Statement