Profile: herbrand: collections