Ponderable 1.1.5

∃x, S(x) ∧ M(x).

Maison