Startpoint for wf with exp-hbs-boo