more precise assertion