Definition of Trahens