Easy and Correct Minimal Sourcing