properly discontinuous