rudimentary Formula class defined