Identity Persistence Logic