church_encoding
