ES2018 SMT Assignment