add Amittai implementation