indeed I also affirm that all subsets of finite sets are finite
a Schelling point for those who seek one
