towards tests and specs, added density, towards algorithms