Önerme sorunu ortadan kalktımı ?