a INF b c