add bison
add example formula