Describir: Learning from Condorcet on formal philosophy.