I think that proposition is

O-->E

TENABLE