let's be more rigorous