Testing Sign Congruence Between Two Parameters

For most parameter values, the test is optimal subject to some arguably plausible desiderata; also, we illustrate why some such desiderata are necessary.