Describir: Separation Logic.