isCompotent

FIX: possibly use reification to make a statement (a Claim) about this statement

isCompotent

FIX: possibly use reification to make a statement (a Claim) about this statement