retinaltear cover image

Q.C., United States

1. ∀x[∃yKxy→∃zKzx]
2. ∀x[Kxg∙x=b]∴∃zKzb