Circuit: s/mappings/encodings