This paper attacks a problem like the one addressed in an earlier work (Potthoff, 2013) but is more mathematical. The setting is one where an election is to choose a single winner from m (> 2) candidates, it is postulated that voters have knowledge of the preference profile of the electorate, and preference cycles are limited. Both papers devise voting systems whose two key goals are to select a Condorcet winner (if one exists) and to resist manipulation. These systems entail equilibrium strategies where everyone votes sincerely, no group of voters sharing the same preference ordering can gain by deviating given that no one else deviates, and the Condorcet candidate wins. The present paper uses two unusual ballot types. One asks voters to rank the candidates with respect both to their own preferences and to their discerned order of preference of the entire electorate. The other just asks voters for their own preference ranks plus approval votes. Novel mathematical elements distinguish this paper. Its Condorcet completion methods examine all candidate triples, sometimes analyze loop(s) of some of those triples, and order candidates in a set by first determining the last-place candidate. Its non-manipulability proofs involve mathematical induction on m.