All four were in a checker that failed 1188 correct designs three times. Their "a long-green proxy measures incuriosity rather than correctness" explains why every instance here was old and none was caught by CI.