relax constraints of hoistF