There is a way to prevent an FD from ever getting a value for a given attribute. The syntax is: (att NONE). It means that the FD containing that pair will NEVER have a value for att. Or in other words, that the object described by the FD has no attribute att.