axioms wissyet i twifwclsmäl.