Jantle models for CocoaPlus.