TriplEforms Getting Started (4)