Let's use assertions instead of assumptions!