https://9lib.org/document/lzg0xr8q-view-condition-safety-improve-level-safety-example-bytom.html