p6 : add test and pre-cond