Just encode special cases