No theorems yet developed for symbol SIG_INF