Initial commit of Are We Consistent Yet