Some debugging stuff, remove explanationTest from its old location, make addAll accept all kinds of traversables not just lists