\q1 \v=5 \v~=quæ pro nihilo habentur, eorum anni erunt. \¬v \¬q1