Commiting necessary changes to paper as well as beginnings of Formula Complexity Section