commented out the result counter. Let us see later if it is needed.