Differential Logic • Part 2 - OeisWiki