declare-inconsistency