more precision about what is done