  Rule-based modelers dislike direct enumeration of cases when more efficient
means of enumeration are available. We present an extension of the Kappa
language which attaches to agents a notion of level. We detail two encodings
that are more concise than the former practice.
