9.6 A Useful Void