Separated logic and equality