Tinkering with Kripke separability.