Mastermind Mathematics Logic Strategies And Proofs