0.0.2 - More stuff from SMT