further simplication