ASSERTS

S-->E

TEASERS