This could probably be covered with making the default value `phase=S.Zeno`