包括 realize at 的结果。
是否要仅显示 realizeat 的结果?