BUGFIX Equalty == and eq? are different. Backtracking