modified:   TODO
y as binvector