Describir: Neutral Free Logic: Motivation, Proof Theory and Models.