Working on fixing truth tables and buggy propositions