polarix comments on Do we Share a Definition for the word “ideal”?