Success inferring 2x2 squares