Consistency Computer Science