Will AI/GPT autogenerate concrete examples of infradistributions or inframeasures that fit Vanessa Kosoy defs?