Implementation of the Henshin model.