Aristotelian logic (source code)

= Aristotelian logic
{c}