9-def:6