A logical or mathematical error

A type of typo that affects readability

When parts of the solution separately make statements that don't make sense together

A common outcome in exhaustive algorithms