Recurse into CurrentUserCanSee as a refinement over "is it public"