1 2 3
SearchAbout and. (* Anomaly: Mismatched instance and context when building universe substitution. Please report. *)