Optionality Preservation Logic