and encode deduced