In 1666, Leibniz introduced his attempt to take the dream of the ancients a step further. To this end, he wrote the ‘Art of Combination’, in which his article on ‘the Mathematical Determination of Syllogistic Forms’ proclaimed that he would ‘not only show why there are only three direct figures’ but also asserted his ability to validate a set of propositions by ‘drawing the straight lines.’