Generally accepted modal logic axioms:
It’s necessary I hate cats if and only if it isn’t possible I don’t hate cats.
It’s possible I hate cats if and only if it isn’t necessary I don’t hate cats.
It’s necessary that I hate cats and cats suck if and only if it’s necessary I hate cats …