Peer states diagram fixes
Fleshing out facts and root ensemble