Necessary to define the well-formedness that or other logical conclusion on base of the certain statement (or row of the statement). Real reality does not play herewith no dug (this little complicates test since contain