rigorous : 0