Following pretty_baby.m3smt