Highest-weight module