FD Set extension and spec