ABSTRACT

Self-checking