encoding screws up latex -.-
4.1