- the move_count node was wrong (missing parenthesis)
- the lemma an the theorem only holds for locally central unfait demon