Is this rigorous enough...?