Strategy-Proof Social Choice Functions On Condorcet Domains.