ConditionalExpression[a, False]
->Undefined