(for all four relations)