Author: smt colorings