Properly discontinuous