There is still a problem with functional dependencies