3 ms·You need to distinguish safety properties from liveness properties.by wren6991 6mo agoYou need to distinguish safety properties from liveness properties.