simplify formally

