a = Undefined -> Undefined a -> Undefined ValueQ[a] -> True