We declare an element Y of an accepted frame X optional if X \ Y is also an accepted frame.
if the empty frame is accepted (this may happen to some words outside the initial I cluster), any single argument will be by definition optional.