For #39: note about combinatorial nature of Theories runner