Establishing the while s