explicitly check assertions