better exactly one encoding