SuperEx Educational Series: Understanding PBFT — Why Is “Theoretical BFT” Not Enough?