hard assertion