(Eng: ramification problem) Bij het redeneerproces, die de acties in een dynamisch systeem betreffen, moet worden nagegaan hoe de grote hoeveelheid details die met wijzigingen te maken hebben, moeten worden geregistreerd. Het is namelijk, net als dat het geval is in het frameprobleem, ondoenlijk en onpraktisch al die gegevens op te tekenen.