Stronger assertions