rename all Hole => Goal!!!