Utilities for the Henshin model.