Be more rigorous