removed some bijections