Invariant and Dynamic Protocols in Bither