Verified reporting

Tagged generics