\v=20 \v~=Аминадав родил Наассона; Наассон родил Салмона; \¬v