uncommented assertion