NewType

extend

naturalityCondition

ByNameNtLaws

nt

ByNameNtLaws