IDEF is special cased after that.