more test for precondi