The dimension module is half rewritten