Systems and theorems