made proposition 5 proof a bit more clear