Source: /wikibot/default-logic

= Default logic
{wiki=Default_logic}