Describir: Principles and Proofs :