forall-ised a few tests, factored out cores( ) checking