instance of a formula