User blog comment:Edwin Shade/The Origami Function/@comment-25337554-20171003042719

So is the point giving Gödel number to every origami folding pattern?