"} {0,5}> safe: #SAFE