<img width="1045" alt="image" src="https://github.com/zenstackhq/zenstack/assets/16688722/e6e71bc6-58b1-454a-8de0-2e8eea907bba">