Fixed inconsistency comparison -> conclusion