Abstractions on Inconsistent Data — LessWrong