Infer Top.Open