works L mixing bijections and IO encodings