Body of ProofS1 · E1

Sources

If a source won't play, switch to another one.