Here is a list of all concepts with brief descriptions:

Rcompound_requirements
Rintegral	Short concept definition from a constraint directly
Rintegral_req_ct
Rtruism	Trivial concepts as assignment