SMS dit: On saturated k-Sperner systems