use assertions