assumption

PREMISE