a -> a a + a -> 2 a ValueQ[a] -> False a = 5 -> 5 ValueQ[a] -> True