Source encoding defined