add \then command
add bayesian inference