Bugs fixed with semantic tableaux.