Which theorems apply (examples)