Still no precondition, i will add it as i merge the code