added helper function, for clarity of reading;
test that a function is one-to-one;
oops, forgot to change that test back;
I should've realized this is simpler;
The authors used an intermediate step of defining (seconds ...), which is fine; but then they claim it is defined just like (firsts ...) which makes no sense to me - I'm not going to bother;
let's just call it what it is;