Which theorems apply (guidelines)