Implemented B, and transitions