Define formation constant

Define formation constant