testing the gtk formulae