Witnesses for Boolean matrix multiplication and for transitive closure