using_formulae.cpp