Compare external-closure equations