SMT and MMT feedback (1st sem 2018)