More theorems into the compset