A: Empty
Q: If pattern is not empty but question is, can they match?
A: No
Q: If the head of pattern is equal to the head of question, when do the whole pattern and question match?
A: