SMT-3223 and SMT-4023(2)