SMS dit: On the complexity of extended and proportional justified representation