It’s just the standard first question I ask for any theorem in this class. See my reply to Nisan below about some theorems by Stuart Armstrong.
It’s just the standard first question I ask for any theorem in this class. See my reply to Nisan below about some theorems by Stuart Armstrong.