revise comments and remote assert in favor of check-abort