Text this: Undecidability results concerning Datalog programms and their persistency numbers.