fix precondittion