F

NRootLaws

Field

algebra

falsified

laws

field

RingLaws

fromParent

RingProperties