Attributes . positive logic (source) . Names