Added existence conditions and picture