With FD, ER diagrams