Attributes
. Reinforced Bottoms . Names
Proofs
(1)