Off topic but this reminds me of the New riddle of induction [1]. This is philosophical argument about predicates (i.e. properties that things have that are eit

Off topic but this reminds me of the New riddle of induction [1]. This is philosophical argument about predicates (i.e. properties that things have that are either true or false) and what it means to use induction to confirm such predicates. An example used in the paper is determining that all emeralds are green. It turns out to be quite a riddle. [1] https://en.wikipedia.org/wiki/New_riddle_of_induction https://en.wikipedia.org/wiki/New_riddle_of_induction