formulae_test_simple: initial