added new IFF theorems