The converse's 'triviality' presupposes that only uniqueness results are interesting, but in modal e...