declarations of inconsistency