O'NEAL 2021 flow certificates