A proper subset relation grounded solely in non-constructive existence proofs may be ontologically d...