Sätze, die sich nur durch eine Variablenpermutation unterscheiden werden nicht mehr separat gespeichert.