All-sufficiency (1)