Existence monotone

Soulfood Session M.E. , L2M 1717084800000