Dear Iris, dear @olivia.science 
In my understandig readers of your paper better adhere to strict formal reasoning.
However: while Leitende Idee is "to reclaim AI..." (my intuition follows) I am not entirely sure of the very subject of intractability:

1/2