updated fass proof to take into account parallel