 By stating these consequences and the octagon of opposition, Buridan has presented a virtually exhaustive syntactical account of modal logic, and, together with his semantics of supposition and distribution, constructed a powerful logic unmatched by anything presented in the history of logic before him.