https://9dok.net/document/y6e43oxn-enumerative-induction-and-lawlikeness.html