Annotated FD's added