Attributes
. Direct Algebraic Logic . Names
Entry Logic
(1)