add GHC formula