less redundant super specification