dsccartue ☻

proofs