Is an unknown considered to be a variable? If so, is it a free or bound variable or neither?
It seems logical to say that an unknown can be anything (or nothing), up to it is proved to exist and becomes known (or it is proved to not exist).
It's safe to say an unknown is a variable unless it's a constant.
Separate names with a comma.