Archived tweet #9462 from the @leastfixedpoint Twitter Archive

@DRMacIver @jeremywsherman It's clear it should be forall rather than exists, I reckon. But it's still weird how any_list(any_integer) names the point inside the list. (The third line in PT puts the whole set there, by contrast)