add control flow prose