Sieve instead of solution, and w/o proofs.