Worth adding more tests? (In general, Einhorn doesn't have nearly enough of them.)