tombstone diagram + BAL

Testing updated []Bool