Family as a Conditional Universal