comment about universe annotations and cumulativity