https://www.dragoncompany.org/walking-the-roosters/deductive-reasoning/