Describir: Contemporary logic design