More PrettyTerm instances.