Complexity theorists like Ladner and Lynch distinguish between syntactic and semantic closure proper...