retinaltear cover image

Q.C., United States

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

Listening History

13

1:00:00