No theorems yet developed for symbol IS_CONTINUOUS_CENF