we dont need the precondition