Supporting classes for the alephant framework