“If we can’t replace what we have in mind with what we can do, it means we are thinking in vain.”