Describir: Rigorous mathematical thinking