\q1 \v=4 \v~=исчисляет количество звезд; всех их называет именами их. \¬v \¬q1