generate formula too, as first step