- true if conformant - false ...... = 'unknown') if not evaluated