Proving SLP is Not Byzantine Proof