proper assert