seems to work, for certain (small) values of working