Right. The tricky part is that arrow can be (but isn't always) inverted from the FK->PK relationship.