clarifying output # states explored
Didn't really need Integer, Int is enough.