name of test is not very explicit: `returnsTrueGivenBareMajorityReturnedTrue`