Check that both a->tac/b->tac are present, or both not present. Then, check they are equal if present.
Attach a file by drag & drop or click to upload
