\p \v=22 \v~=The sons of Calamolalus and Onus, seven hundred twenty and five: the sons of Jerechus, two hundred forty and five: \¬v \¬p