note lack of listing zero probability states
reduce abstract to 125