Should an exception be raised in a default match?