Add BCI and BCE rules, and fix bug with theorem proving
Changed absurdity symbol
Merge branch 'master' into gh-pages