S1 and S3 to check that dependency, but it would be nice if that dependency were together in a relation and in fact, in this case we can have a Boyce-Codd normal form relation that does maintain that dependency. 