assertions corrected