Message encoding and other operators