a -INF b c