Pedro Jr. (@pedrojr) casts and replies on Farcaster