1) Een uitdrukking die tussen haakjes staat vb. a and b, wordt niet verder ontbonden. 2) De omzetting van de implicatie naar een uitdrukking in not en and werkt niet. 3) Wanneer je een volledig tableau selecteert om te copiëren en daarna een paste uitvoert, wordt alleen maar de eerste regel geplakt. 4) Het opslaan van tableau's in bestanden lukt niet : Er wordt wel een bestand gemaakt maar dit bevat enkel volgende regel : formula.TableauPart