Now better assertion and fail message