DualLock

SketchSystems.spec

DualLock
  Locked
    Both
      unlock a -> OnlyB
      unlock b -> OnlyA
    OnlyB
      lock a -> Both
      unlock b -> Unlocked
    OnlyA
      lock b -> Both
      unlock a -> Unlocked
  Unlocked
    lock a -> OnlyB
    lock b -> OnlyA

SketchSystems_prototype.js

function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}