useful errors being returned from forall; a lot of work needed on the reporter stats, and modularisation needed