LogicState for Formula
.gitignore changed