some coditions implied