NO FEATURES (Explicit)

ASSUMPTIONS (Explicit)