Goblin application to infBOWL.