(we do think some things could have been otherwise; other things we don't think could have been otherwise), this notion of a distinction between necessary and contingent properties is just a doctrine made up by some bad philosopher, who (I guess) didn't realize that there are several ways of referring to the same thing.