The dynamic logic model by @senron