Applications for Trevs Formals