https://satmanagrishineseeds.com/starting-with-craps/