Describir: Traditional formal logic: